1. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
2. CASES 2005 : Ineternational Conference on Compilers, Architecture, and Synthesis for Embedded Systems, September 24-27, 2005, San Francisco, California, USA
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
رده :
TK
7895
.
E42C28
2005
3. CASES 2006 : International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, October 22-25, 2006, Seoul, Korea : embedded systems week 2006
پدیدآورنده : sponsored by ACM SigBED, ACM SIGDA, ACM Sigmirco, IEEE Computer Society
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
رده :
TK
7895
.
E42C28
2006
4. CASES 2003 : International Conference on Compilers, Architecture, and Synthesis for Embedded Systems San Jose, California, USA, October 30-November 01, 2003
پدیدآورنده : Sponsors & Supporters : ACM SIGMICRO, IEEE...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
رده :
TK
7895
.
E42C28
2003
5. CASES 2004 : International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, September 22-25, 2004, Washington DC, USA
پدیدآورنده : general chairs : Mary Jane Irwin, Wei Zhao
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
رده :
TK
7895
.
E42C28
2004
6. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
7. Compiler compilers : Third International Workshop CC'90, Schwerin, FRG, October 22-24, 1990 : Proceedings
پدیدآورنده : D. Hammer, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compiling )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
477
8. Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Compiling )Electronic computers(-- Congresses,، Compilers )Computer programs(-- Congresses
رده :
QA
76
.
76
.
C65
.
I54
1990
9. Compiler construction
پدیدآورنده : Ranjit Jhala, Koen de Bosschere (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses
رده :
QA76
.
76
.
C65
C3
2013
10. Compiler construction
پدیدآورنده : Michael O'Boyle (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses
رده :
QA76
.
76
.
C65
C32
2012eb
11. Compiler construction : 5th International Conference, CC'94, Edinburgh, U.K., April 7-9, 1994 :proceedings
پدیدآورنده : Peter A. Fritzson, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
786
12. Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings
پدیدآورنده : Peter A. Fritzson, )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L4
v
.
786
13. Compiler construction : 6th International Conference, CC'96, Linkoping, Sweden, April 24-26, 1996 : proceedings
پدیدآورنده : Tibor Gyimothy )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1060
14. Compiler construction : 4th International Conference CC'92, Paderborn, FRG, October 5-7, 1992 : proceedings
پدیدآورنده : U. Kastens, P. Pfahler, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
641
15. Compiler construction : 7th International Conference, CC'98, held as part of the European Joint Conference on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
پدیدآورنده : Kai Koskimies )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1383
16. Compiler construction : 9th International Conference, CC 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April : proceedings
پدیدآورنده : David A. Watt )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1781
17. Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
پدیدآورنده : Reinhard Wilhelm )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
2027
18. Compiler construction : 14th International Conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
پدیدآورنده : Rastislav Bodik )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
3443
19. Compiler construction : 16th International Conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings
پدیدآورنده : Shriram Krishnamurthi, Martin Odersky )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
4420
20. Compiler construction : 8th International Conference, CC'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
پدیدآورنده : Stefan Jahnichen, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1575
